The Groningen AMS facility

The Groningen Meaning Bank

What would be a good method to provide a large collection of semantically annotated texts with formal, deep semantics rather than shallow? In this talk I will argue that (i) a bootstrapping approach comprising state-of-the-art NLP tools for semantic parsing, in combination with (ii) a wiki-like interface for collaborative annotation of experts, and (iii) a game with a purpose for crowdsourcing,...

A Comparative Study of AMS Circuit Simulation in VHDL-AMS and SystemC-AMS

Mixed-Signal extensions to VHDL and SystemC languages have been developed in order to provide a unifying environment for the modeling and verification of AMS designs at different levels of abstraction. In this paper, we model the behavior of a set of benchmark designs in VHDL-AMS and SystemC-AMS and compare the simulation run-time with the low level HSPICE simulation run-time. The various exper...

University of Groningen The statistician

Subject Classiication (ams)

A ?semigroup is a semigroup whose lattice of congruences is a chain with respect to inclusion. Schein 9] and Tamura 11] have investigated commutative ?semigroups, Trotter 13] exponential, Nagy 4] weakly exponential and Bonzini and Cherubini Spoletini 2] nite ?semigroups. The pupose of the present paper is to investigate archimedean weakly commutative and H?commutative ?semigroups. 1 Weakly comm...

The RICH counter of the AMS experiment ∗

The RICH counter of the AMS experiment is described and its expected performances discussed. Prototype results are reported.